WFF'N PROOF